Based on their extensive experience with teaching R and statistics to applied scientists, the authors provide a beginner's guide to R. To avoid the difficulty of teaching R and statistics at the same time, statistical methods are kept to a minimum. The text covers how to download and install R, import and manage data, elementary plotting, an introduction to functions, advanced ...(展开全部)

A Mathematical Introduction to Logic, Second Edition, offers increased flexibility with topic coverage, allowing for choice in how to utilize the textbook in a course. The author has made this edition more accessible to better meet the needs of today's undergraduate mathematics and philosophy students. It is intended for the reader who has not studied logic previously, but who ...(展开全部)

Focusing on the impact of engineering on society and the world, McCarthy details the development of the discipline, explains what makes an engineering mind, and shows how every aspect of our lives has been engineered: from gadgets to our national infrastructure. Long considered tinkerers, problem solvers, and visionaries, engineers hold the keys to our real and virtual future.

瓦茨拉夫·斯米尔（Vaclav Smil） △欧佩克研究奖、美国科学促进会授予的科学和技术公众普及奖得主 △ 加拿大马尼托巴大学环境学院荣誉教授 瓦茨拉夫·斯米尔是一位备受比尔·盖茨和扎克伯格推崇的能源科学家和科普作家，经常现身世界经济论坛和气候变化国际圆桌会议，担任主要发言人。他在能源、环境、食品、人口、经济、历史和公共政策等方面均有突出建树，并且非常善于进行跨学科研究。他还将跨学科的研究方法带到了他对中国能源、食品和环境问题的阐述中。 斯米尔也是一位高产的学者，出版了 40 部专著，发表了近 500 篇论文。代表作包括畅销书《美国制造》《能源神话与现实》《材料简史与材料未来》《我们应该吃肉吗？》《能源与文明》《全球化的原动机》《收割生物圈》，其中前四部已有中文版本。

Widely praised for its clarity and thorough coverage, this comprehensive overview of mathematical logic is suitable for readers of many different backgrounds. Designed primarily for advanced undergraduates and graduate students of mathematics, the treatment also contains much of interest to advanced students in computer science and philosophy. An introductory section prepares r...(展开全部)

Traditional logic as a part of philosophy is one of the oldest scientific disciplines and can be traced back to the Stoics and to Aristotle. Mathematical logic, however, is a relatively young discipline and arose from the endeavors of Peano, Frege, and others to create a logistic foundation for mathematics. It steadily developed during the twentieth century into a broad discipl...(展开全部)

This classic introduction to the main areas of mathematical logic provides the basis for a first graduate course in the subject. It embodies the viewpoint that mathematical logic is not a collection of vaguely related results, but a coherent method of attacking some of the most interesting problems, which face the mathematician. The author presents the basic concepts in an unus...(展开全部)

Undergraduate students with no prior classroom instruction in mathematical logic will benefit from this evenhanded multipart text by one of the centuries greatest authorities. Part I offers an elementary but thorough overview of mathematical logic of first order. Part II introduces some of the newer ideas and the more profound results of logical research in the twentieth centur...(展开全部)

This introduction to first-order logic clearly works out the role of first-order logic in the foundations of mathematics, particularly the two basic questions of the range of the axiomatic method and of theorem-proving by machines. It covers several advanced topics not commonly treated in introductory texts, such as Fraisse's characterization of elementary equivalence, Lindstro...(展开全部)